$\forall$$R$:Realizer, ${\it names}$:(MaName List). $R$$\mid$${\it names}$ $\in$ Realizer